$\forall$$a$, $b$:$\mathbb{Z}$. ($\neg$(($a$ $\ast$ $b$) = 0)) $\Rightarrow$ (($\neg$($a$ = 0)) \& ($\neg$($b$ = 0)))